($X$($n$)$\rightarrow\infty$ as $n$$\rightarrow\infty$)($s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$B$:$\mathbb{Q}$. $\exists$$n$:$\mathbb{N}$. ($\forall$$m$:$\mathbb{N}$. ($n$ $\leq$ $m$) $\Rightarrow$ $B$ $\leq$ $X$($m$)($s$))